Computer University

Results: 29298



#Item
491

Arunesh Mathur 320 Sherred Hall Princeton NJ 08540 • http://aruneshmathur.co.in • @aruneshmathur Education Princeton University PhD, Computer Science

Add to Reading List

Source URL: aruneshmathur.co.in

Language: English - Date: 2018-08-15 13:51:52
    492

    StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2013-12-10 12:35:05
      493

      Fringe Search: Beating A* at Pathfinding on Game Maps Yngvi Bj¨ornsson School of Computer Science Reykjavik University Reykjavik, Iceland IS-103

      Add to Reading List

      Source URL: webdocs.cs.ualberta.ca

      Language: English - Date: 2005-08-18 13:52:45
        494

        Why Learning Has Aha-Moments and Why We Should Also Reward Effort, Not Just Results Gerardo Uranga1 , Vladik Kreinovich1 , and Olga Kosheleva2 Departments of 1 Computer Science and 2 Teacher Education University of Texa

        Add to Reading List

        Source URL: www.cs.utep.edu

        Language: English - Date: 2018-06-30 20:12:16
          495

          Application to join COMPUTE research school COMPUTE is a research school at the Science Faculty of Lund University with a focus on scientific discovery using computer simulations. Activities include PhD level courses on

          Add to Reading List

          Source URL: cbbp.thep.lu.se

          - Date: 2018-03-19 19:00:05
            496

            Designing easily learnable eyes-free interaction Kevin A. Li Computer Science and Engineering University of California, San Diego Advisors: William G. Griswold, James D. Hollan

            Add to Reading List

            Source URL: www.kevinli.net

            Language: English - Date: 2008-11-20 20:43:15
              497

              Beetle: Flexible Communication for Bluetooth Low Energy Amit Levy, James Hong, Laurynas Riliskis, Philip Levis, Keith Winstein Computer Science Department, Stanford University Stanford, CA, U.S.A. levya,jhong16,lauril,p

              Add to Reading List

              Source URL: www.amitlevy.com

              Language: English - Date: 2016-05-16 14:52:36
                498

                How to Decrease and Resolve Inconsistency of a Knowledge Base? Dragan Doder1 and Srdjan Vesic2 1 Computer Science and Communication, University of Luxembourg, Luxembourg 2 CRIL, CNRS – Univ. Artois, Lens, France

                Add to Reading List

                Source URL: www.cril.univ-artois.fr

                Language: English - Date: 2014-11-10 12:16:20
                  499

                  Victor Shoup Curriculum Vitae April 5, 2016 Department of Computer Science Courant Institute of Mathematical Sciences New York University 251 Mercer Street

                  Add to Reading List

                  Source URL: shoup.net

                  Language: English - Date: 2016-04-05 14:38:26
                    500

                    On Linear Modalities for Exchange, Weakening, and Contraction Harley Eades III and Jiaming Jiang Computer Science, Augusta University Computer Science, North Carolina State University Introduction. In 1987 Girard introdu

                    Add to Reading List

                    Source URL: metatheorem.org

                    Language: English - Date: 2018-08-14 14:33:44
                      UPDATE